lim inf

lim inf (plural lim infs)
limit inferior